Buy Used and New Franz Baader Books

An Introduction to Description Logic

by Franz Baader,Ian Horrocks,Carsten Lutz,Uli Sattler

ISBN 13: 9780521695428

Format: Paperback (260 pages)
Publisher: Cambridge University Press
Published: 07 Apr 2017

Save for later

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings: 2741 (Lecture Notes in Computer Science, 2741)

by Franz Baader

ISBN 13: 9783540405597

Format: Paperback (524 pages)
Publisher: Springer
Published: 10 Oct 2008

Save for later

Philosophische Schriften: Band 4

by Johann Caspar Bluntschli,Franz Hoffmann,Franz Baader

ISBN 13: 9783743357976

Format: Paperback (488 pages)
Publisher: Hansebooks
Published: 23 Oct 2016

Save for later

Term Rewriting & All That

by Franz Baader

ISBN 13: 9780521779203

Format: Paperback (316 pages)
Publisher: Cambridge University Press
Published: 05 Aug 1999

Save for later

KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings: 2174 (Lecture Notes in Computer Science)

by Franz Baader,Gerhard Brewka,Thomas Eiter

ISBN 13: 9783540426127

Format: Paperback (488 pages)
Publisher: Springer
Published: 05 Sep 2001

Save for later